Assert $\neg$($\uparrow$null($v$))